bitkeeper revision 1.1159.1.224 (416c13771ZJIc_iC6ocXee7fZtM0wg)

updated docs

diff --git a/docs/user.tex b/docs/user.tex
index b2208aa878423a2447d6b5c400ec76a987bd846d..d4c2fc126b0cc0855dcf18f4c10e6b38cbe87c11 100644 (file)
--- a/docs/user.tex
+++ b/docs/user.tex
@@ -366,8 +366,6 @@ mkbuildtree} script to add the Xen patches the kernel. It then builds
 two different XenLinux images, one with a ``-xen0'' extension which
 contains hardware device drivers and drivers for Xen's virtual devices,
 and one with a ``-xenU'' extension that just contains the virtual ones.
-The former is intended to be used in the first virtual machine (``domain 0''),
-the latter just has a smaller memory footprint.
 
 The procedure is similar to build the Linux 2.4 port: \\
 \verb!# LINUX_SRC=/path/to/linux2.4/source make linux24!